Use square brackets instead of curly braces for char of a string
authorumherirrender <umherirrender_de.wp@web.de>
Wed, 19 Mar 2014 19:13:19 +0000 (20:13 +0100)
committerumherirrender <umherirrender_de.wp@web.de>
Wed, 19 Mar 2014 19:13:19 +0000 (20:13 +0100)
commite165035081dc0ea56d60e32d679bfb22fc14da81
tree7a21c1e0ec3baf9a9d925723192042287b950e84
parent4f961cfaa7985296acf59f4ef944db6de3e48433
Use square brackets instead of curly braces for char of a string

The use of curly braces is deprecated in php 4.0, so changing it to
square brackets

Change-Id: Ia820cea34d2bd92fe1c3bc8fd773942a425ec90a
includes/User.php
includes/specials/SpecialRunJobs.php